%-----------------------------------------------------------------------
% Tests printing of delay lists.
%-----------------------------------------------------------------------

test :- p(X,Y), writeln(p(X,Y)), fail.
test.

%-----------------------------------------------------------------------

:- table p/2.

p(a,f(b)) :- tnot(p(a,f(b))).
p(a,f2(b,c)) :- tnot(p(a,f2(b,c))).
p(a,f3(b,c,d)) :- tnot(p(a,f3(b,c,d))).
p(a,f3(b,f(1,c),d)) :- tnot(p(a,f3(b,f(1,c),d))).
p(a,f3(b,c,e)).
